竹内外史 証明論 ಗಾಗಿನ ಹುಡುಕಾಟ ಫಲಿತಾಂಶಗಳು